Univalent Foundations
Univalent foundations
ホモトピー型理論のやつ
Homotopy Type Theory(HoTT)
Voevodsky
が作った
メタ理論といえるらしい
Univalent
一価の or 同値性の
foundations
基礎付けが良さそう
Voevodskyのページ:
Univalent Foundations of Mathematics
Univalent foundationができた経緯の記事。
The Origins and Motivations of Univalent Foundations - Ideas | Institute for Advanced Study
Univalent FoundationsについてのVoevodskyのインタビュー
Интервью Владимира Воеводского (часть 1)
確認用
Q. Univalent foundation
関連
Homotopy Type Theory(HoTT)
Martin-Löf型理論
UniMath
Univalence Axiom (UA)
参考
Univalent foundations - Wikipedia
証明へのコンピュータの利用 -- Univalent Foundation - YouTube
証明へのコンピュータの利用(pdf)
「正しい」圏論